Software Decoys for Insider Threat Younghee Park Salvatore J. Stolfo Department of Computer Science

Source URL: ids.cs.columbia.edu

• Free software
• Computer science
• Computing
• Software
• Source code
• GNU General Public License
• Open-source software

A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com

Source URL: yices.csl.sri.com

• Theoretical computer science
• Logic
• Mathematics
• Constraint programming
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Simplex algorithm
• Satisfiability

Elias Athanasopoulos Research Scientist Distributed Computing Systems Laboratory Institute of Computer Science Foundation for Research and Technology Hellas (FORTH) Science and Technology Park of Crete, Heraklion

Source URL: users.ics.forth.gr

LEARNING TOUR BRIEF #8 Balboa Park: A Collaborative Hub for Art, Science, and Culture OVERVIEW AND LEARNING OBJECTIVES Through the real-life experience of the Balboa Park Cultural Partnership, you will evaluate the adva

Source URL: web.cof.org

12 FebruaryCurriculum Vitae Gary E. Machlis Science Advisor to the Director National Park Service

Source URL: www.webpages.uidaho.edu

JOURNAL OF APPLIED PHYSICS 105, 094506 共2009兲 Optimization of device geometry in single-plate digital microfluidics Mohamed Abdelgawad,1 Philip Park,2,3 and Aaron R. Wheeler2,a兲 1

Source URL: microfluidics.utoronto.ca

• Chemistry
• Fluid dynamics
• Nature
• Biotechnology
• Materials science
• Surface science
• Intermolecular forces
• Nanotechnology
• Digital microfluidics
• Electrowetting
• Droplets
• Hydrophobe

Cleantech Scandinavia is pleased to announce that the Cleantech Capital Day will take place in Lahti, Finland. It is hosted together with the Finnish Cleantech Cluster, Lahti Science and Business Park, and in partnership

Source URL: www.ladec.fi

Concurrency Control and Recovery Michael J. Franklin Department of Computer Science and UMIACS University of Maryland College Park, MD

Source URL: www.news.cs.nyu.edu

An Application Programming Interface (API) for Programmable Access to Animal QTLdb Zhi-Liang Hu*, Carissa A. Park, James E. Koltes, Eric Fritz-Waters and James M. Reecy Department of Animal Science and Center for Integra

Source URL: www.animalgenome.org

This article was downloaded by: [Lidz, Jeffrey][University of Maryland College Park] On: 16 April 2010 Access details: Access Details: [subscription numberPublisher Psychology Press Informa Ltd Registered in

Source URL: ling.umd.edu

• Semantics
• Philosophy of language
• Interpretation
• Cognitive science
• Logic
• Analytic philosophy
• Memory
• Cognition
• Priming
• Pragmatics
• Isomorphism
• Musolino